-
Notifications
You must be signed in to change notification settings - Fork 7.6k
boards: hal_rpi_pico hardware_xip_cache not included #84554
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Hello @DxPru, and thank you very much for your first pull request to the Zephyr project! |
modules/hal_rpi_pico/CMakeLists.txt
Outdated
@@ -42,8 +42,8 @@ if(CONFIG_HAS_RPI_PICO) | |||
BUILD_ALWAYS TRUE | |||
) | |||
|
|||
zephyr_library_add_dependencies(second_stage_bootloader) | |||
zephyr_library_sources(${rp2_bootloader_asm}) | |||
zephyr_library_add_dependencies(second_stage_bootloader) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do not change anything that is not relevant to the fix.
This change also need to modify hal_rpi_pico. |
does it? Example of a broken test:
|
include hardware_xip_cache when CONFIG_PICOSDK_USE_FLASH is set Signed-off-by: Dominik Prütting <dominik.pruetting@fau.de>
fixed the compliance issues |
I checked. Indeed, there is no need to change HAL at now. |
Hi @DxPru! To celebrate this milestone and showcase your contribution, we'd love to award you the Zephyr Technical Contributor badge. If you're interested, please claim your badge by filling out this form: Claim Your Zephyr Badge. Thank you for your valuable input, and we look forward to seeing more of your contributions in the future! 🪁 |
Nice work, also, my bad for breaking things. These aren't build targets that I tested against beforehand, in hindsight this was dumb of me. @kartben , is there a specific CI task and/or local command I can be running? What drew your attention to this in you comment above; is this part of the "build all on all" build that gets mentioned sometimes?
|
When building with "CONFIG_PICOSDK_USE_FLASH" hardware_xip_cache was not included.